Logic-based models are thriving within artificial
intelligence. A great number of new logics have been defined,
and their theory investigated. Epistemic logics introduce
modal operators for knowledge or belief; deontic logics
are about norms, and introduce operators of deontic necessity
and possibility (i.e., obligation or prohibition). And
then we have a much investigated class—temporal logics—to
whose application to engineering this special issue is
devoted. This kind of formalism deserves increased widespread
recognition and application in engineering, a domain where
other kinds of temporal models (e.g., Petri nets) are by
now a fairly standard part of the modelling toolbox.